Dutch microprogrammering: translation to other languages